(0 12 2)(1 19 6)(3 10 5)(4 15 7)(8 18 16)(9 13 11)(14 20 17)
ALLOWS (11/8)-SEQUENCE
1: (4 15 17)
(0 12 2)(1 19 6)(3 10 5)(4 14 20 17 7)(8 18 16)(9 13 11)(15)
2: (8 18 16)
(0 12 2)(1 19 6)(3 10 5)(4 14 20 17 7)(8)(9 13 11)(15)(16)(18)
3: (3 10 5)
(0 12 2)(1 19 6)(3)(4 14 20 17 7)(5)(8)(9 13 11)(10)(15)(16)(18)
4: (7 20 17)
(0 12 2)(1 19 6)(3)(4 14 20)(5)(7)(8)(9 13 11)(10)(15)(16)(17)(18)